Closed type families with overlapping equations
نویسندگان
چکیده
منابع مشابه
Closed Type Families With Overlapping Equations (Extended Version)
Open, type-level functions are a recent innovation in Haskell that move Haskell towards the expressiveness of dependent types, while retaining the look and feel of a practical programming language. This paper shows how to increase expressiveness still further, by adding closed type functions whose equations may overlap, and may have non-linear patterns over an open type universe. Although pract...
متن کاملRandom Union-Closed Families
We shall show that the union-closed families conjecture holds for a random union-closed family with high probability. This strengthens a recent result of Bruhn and Schaudt.
متن کاملUnion-closed families of sets
A family of sets is union-closed if it contains the union of any two of its elements. Some years ago, Reimer gave a lower bound for the average size of an element of a union-closed family consisting of m sets and, two years ago, Czédli did the same under the additional condition that our sets are contained in a set with n elements. Recently Tom Eccles and I have determined the minimum average s...
متن کاملFamilies of Diophantine equations
This is a report on the recent work by Claude Levesque and the author on families of Diophantine equations. This joint work started in 2010 in Rio, and this is still work in progress. The lecture in Lahore on March 11, 2013 was mainly devoted to a survey of results on Diophantine equations, with the last part dealing with some recent results. Here we describe the content of the recent joint pap...
متن کاملFamilies of Integrable Equations
We present a method to obtain families of lattice equations. Specifically we focus on two of such families, which include 3-parameters and their members are connected through Bäcklund transformations. At least one of the members of each family is integrable, hence the whole family inherits some integrability properties.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2014
ISSN: 0362-1340,1558-1160
DOI: 10.1145/2578855.2535856